
#use "topfind";;
#require "oUnit";;
#cd "/Users/seanmcl/save/versioned/projects/workshop/ocaml/hol/hw1/";;
#use "hol.ml";;

loadt "Examples/permutations.ml";;      (* For determinants               *)
loadt "Multivariate/misc.ml";;          (* Background stuff               *)
loadt "Examples/products.ml";;          (* For determinants and integrals *)
loadt "Multivariate/vectors.ml";;       (* Basic vectors, linear algebra  *)

#load "lib.cmo";;   
#load "results.cmo";;   
#load "grader.cmo";;   

#use "hw1-sig.ml";;   
#use "hw1-grader.ml";;   
#use "hw1.ml";;   
#use "hw1-model.ml";;   
#use "hw1-run.ml";;   
